Real algebraic geometry

Results: 227



#Item
211A better approximation ratio for the Vertex Cover problem George Karakostas Dept. of Computing and Software

A better approximation ratio for the Vertex Cover problem George Karakostas Dept. of Computing and Software

Add to Reading List

Source URL: www.cas.mcmaster.ca

Language: English - Date: 2006-01-23 15:36:00
212A History of Interactions between Logic and Number Theory Lecture 1

A History of Interactions between Logic and Number Theory Lecture 1

Add to Reading List

Source URL: modular.math.washington.edu

Language: English - Date: 2006-10-17 01:47:09
213Author manuscript, published in

Author manuscript, published in "ITP - 3rd International Conference on Interactive Theorem Proving[removed])" Construction of real algebraic numbers in Coq

Add to Reading List

Source URL: hal.inria.fr

Language: English - Date: 2012-06-13 17:24:51
214Chapter 8 Families of Functions One very important area of real analysis is the study of the properties of real valued

Chapter 8 Families of Functions One very important area of real analysis is the study of the properties of real valued

Add to Reading List

Source URL: www.ms.uky.edu

Language: English - Date: 2009-08-19 00:43:26
215Model Theory and Exponentiation

Model Theory and Exponentiation

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 1999-03-08 15:14:53
216From SIAM News, Volume 40, Number 6, July/August[removed]Algebraic Geometers See Ideal Approach

From SIAM News, Volume 40, Number 6, July/August[removed]Algebraic Geometers See Ideal Approach

Add to Reading List

Source URL: siam.org

Language: English - Date: 2007-09-07 08:01:02
217tmp_750629346.ps

tmp_750629346.ps

Add to Reading List

Source URL: perso.univ-rennes1.fr

Language: English - Date: 2011-09-01 04:05:30
218

PDF Document

Add to Reading List

Source URL: www.mathcs.emory.edu

Language: English - Date: 2006-02-09 13:49:24
219

PDF Document

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2005-10-28 13:22:46
220

PDF Document

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2004-11-03 13:22:57